Wilson,
GE (Hotpoint) model numbers are not always the same between what's on the tag and what's in the database. Your model number RF725G0P1BG comes up as RF725GP1 in the database.
Click here to view your model.
F2 could mean that one of the relays is bad on the clock board. It could also mean that the oven sensor is not making proper connection with the board, so check that as well.
You're right, this clock is no longer available. However, you can probably have your old clock rebuilt. Contact CGI Industries in IL (sorry, no phone number).
This range looks to be around 14-17 years old (maybe 20). Depending on how much you'd have to pay to get the old clock rebuilt, it may not be a bad idea to get a new range instead.
Hope this helps.