Beppington's idea is certainly a good one, but knowing me I'd forget the ramps one day and back it out, tearing down my shed. I think the risks are too great that you'd have a senior moment and damage the shop one day. I personally think folding ROPS are a pain in the butt. Mine folds but I've never used it, thankfully my door is high enough. I can't imagine folding and unfolding that thing every time I put the tractor up. The same principle applies about forgetting as the ramps, sooner or later you'll forget to put the thing down when pulling into the shop. Airing down the tires isn't going to do it.
Personally, I'd take the ROPS off, take it to a decent machine shop, and have them cut the brackets on the bottom, shorten it 4" and re-weld the brackets on. Of course it depends upon how the ROPS is built as to whether or not it's practical on your tractor, on my Massey it would work no problem. Any competent machine shop would be able to do the work and have it turn out as strong or stronger than the factory unit. I know of two shops in my town of 40,000 people that I would trust to do the work and have no worries at all about it when it was done. It's your tractor, modify it if you need it to work for you. Tell the new owner if you sell it. I wouldn't let some extreme paranoia keep me from doing with my own tractor what I needed to do.