Having been SCUT shopping fairly recently, I can say I don't recall any 20+ hp, under $10K tractor that is offered with a 72" deck. I think about the closest you could come is a BX2360, JD2305 or the like with no attachments and then get a 72" rear finish mower. I think you might be pushing the PTO hp limits, but going bigger on the tractor puts you further over your $10K limit. Maybe a slightly used version with some remaining warranty would fit the bill. I know the BX1860 (18hp) lists at about $9K for the basic tractor, but I don't think you can run a 72" RFM off of it. The 2360 is over $10K list. Kubota use to include the loader valve in the base price, but I don't know if they still do. If so, you can delete that for some savings.