That depends on the version he has. If its a first GEN then yes, if not he needs different input tubes
If by first gen you mean the 2011 version and you're comparing that to the 2013 version which is still 6J4P/6SJ7 based. If you bought from yuking09.com or ebay you will have the 6J4P version. They do make a 6C5C version but you have to email them requesting a special order.