Yeah it would make sense that miners would sell it for more than what it cost them to get it at. That makes it under valued at 3k sats.