9k a month? That is about 10500 Euro a month.. If he was 2 years in RYR he would probably be on the 78.5 Euro/h scale. If he paid absolutely zero tax and social security(which I find hard to believe) he would be flying 133 hours per month.
So I think it is safe to say he was taking the p.... on you