They were $1000.00
Maybe a bit expensive but was not having great luck finding any in stock whether it was Yanmar forks or aftermarkets ones. At least ones I didn't have to adapt.
I know a Yanmar is a great tractor but that would make it one hell of a machine if it could pick it up full of water.