So, 3 mm sounds like a prudent target value.
The wheels are already way back in the (horizontal) dropouts.
The wheels are "aged" , well built and have 36 spokes.
Thanks for the help, guys. I was hoping to get some advise based on past experience rather than experimenting myself, especially at >$75 per tire.