[Jim T]

The factory air pump isn't very expensive.
In the US, it wholesales for $36, retails for around $65.
I see them advertised by dealers in Excellence for around $45.
You probably can get it at your local dealer.