On a radar gun, most B class models are in the low-to-mid-80's. If you think you are going 85-90, either you are mis-estimating, or you are going faster than most.

17.5k rpm isn't very high. My beat engines usually are in the mid-18's, and hotter motors are close to 20k.

Sounds like you have a solid design there.