The RB25 rear main seals are the same as a RB30. Cheap as chips. Also super easy to replace. A few bolts and its off, then slide on the new.
Machining of the flywheel, I can't remember what thats generally worth.
Either way $100 to machine a flywheel and replace a rear main seal, probably around the mark.