Another vote for learning to sharpen this bad boy yourself. It’s almost certainly mystery “stainless steel” which means it will be super easy to sharpen once you get the basics down. Something like this is a good start IMO:

Smith's - TRI6 TRI-6 Arkansas TRI-HONE Sharpening Stones System Gray https://www.amazon.com/dp/B00062BIT4/ref=cm_sw_r_cp_api_glt_fabc_METKPGX7G86X0P796G1W

Once you get decent it shouldn’t take more than 15 minutes to get this thing serviceable again. Having someone else sharpen it will be an endless cycle because this steel is no doubt not going to hold a great edge for very long.