4200 if you ever want to remove it, 5200 if it is a permanent thing.
pete
Is there anything adequate that's cheaper than 4200?
Especially for small upkeep it gets expensive. Crack a new tube to seal a new hole or a leak. Then come back in a month or two for a new fix and the tube is rock solid.