I've never known a font/# set to exist over the years (might be wrong) as the 5 was a stand alone graphic.
All the #25 used over the years have been different and not used that 5 style. So not sure where you found that blue 25 but that is not a HMS number.