Try this at a cmd prompt if you want to empty the Recycle Bin for all users.

rd /s /q ‚Äúc:\$Recycle.Bin‚ÄĚ

There was some lost disk space I couldn’t account for, until I ran this.