I checked out both local options, and neither of them had 5.1k listed online. Even the bulk packs at Microcenter seemed to skip that value. I can stop by and double check, but when ebay is willing to give them to me for free, well, it’s hard to pass that up.

The free ebay’s are through-hole. I need to go back and check for SMD. Can’t play with what you don’t have.