I got the 9,000 rpm figure off of Bailey's page here There is a pdf of the owner's manual there, and it lists the same 9,000 rpm.
Bailey's catalogs get that crossed up with MANY saws, that is, peak power vs no-load-max rpm. Obviously not the gospel.
Sometimes you need more than one source for info.