No, I haven't picked out the pump yet.
It will be a while before I make that purchase, since I'll be saving up for that Laguna skimmer filter for a while and I want to buy that next.
But since I'll have so much pre-pump mechanical filtration now going with that Laguna filter design, I'm probably going to switch from my original plan and use a submersible pump instead, and run that from inside the filter behind all the media, since there's room built in for one. I've thought that through, and it should save me needing to build a separate pump housing, and also be quieter, so all I'll be hearing inside my office is the waterfall.
Do you have any particular recommendations?