It was/is a number and letters code printed on the documentation that came with the printer, if it was thrown away then the option is gone and would need to be purchased separately through Xerox or a 3rd party reseller.
Xerox hasen't sold the 4250 in over a year (February 2016) so you would probably need to call as nothing will be on Xerox.com