We're not even close to block 9000 in PoW. 9800 is a combination of PoW and PoS blocks. Don't be fooled.
Yes, PoS staking also show up in the blockchain as 'blocks'.
So when will mining be over for PoW? What block? Any one know?
This line from the source code should make it self-explanatory:
static const int LAST_POW_BLOCK = 10000;
if (IsProofOfWork() && nHeight > LAST_POW_BLOCK)
return DoS(100, error("AcceptBlock() : reject proof-of-work at height %d", nHeight))
Right so it really ends in 100 blocks...