I use a similar, less expensive, belt sold to runners and cyclists. Check out https://spibelt.com/ shopping around you can find one for less than £16.The best pump belt I have found is HidIn (http://www.hid-in.com/).
The pump does not fall out although it has no bulky fastening.