Well I'm assuming someone has probably already pitched something like this to them but as it's a budget service they do not want to add any more to their cost structure. I'm ball-parking that tech company would probably sell this to them for about $80k for the development plus a couple thousand a year in maintenance. Maybe they could add $1 to their ticket price as a premium service and if it was widely popular they could just add it into price structure (with some margin).

(side note - is this a common business concept or term, for adding premium services and then just adding that into the price later with the services included?)

Could a savvy hacker whip something like this up fairly easy? Possibly, but they would need to find this person first.