Anyone Mining Tellor TRB?

Totally confused. I have the Hashaltcoin bitstream but can’t find a pool to join. Seems like the only two are Hashpool and Tellorpool.org. Hashpool appears down, showing no pool hashrate. Tellorpool doesn’t list a URL anywhere on their site. So I have nothing to enter in the field on my Configuration page.

I went directly to Tellor and they say you need to stake 1000 TRB in order to mine. What?

Am I doing it wrong?