Its 1/12, same size and same type of car as the WLToys kit he has. Besides, have you watched any videos of that buggy? It looks like its pretty decent quality compared to a lot of the Chinesium kits out there.
Losi minis are fine, I own both of them but they are smaller than what he currently has and they arent nearly as fast since they are brushed. He could convert them to brushless but the guy is looking at buying a new rig rather than have to figure out how to bind a new radio to a receiver so I wouldnt recommend he dives in to that right away. The MERV is awesome though, If he was good with that type of rig and the price then thats an awesome kit.
Again I wouldn't recommend a used RC to a guy who is unsure of changing out a radio. Plus a like new Tekno ET410.2 with electronics and extra parts etc is a bit of a unicorn. You just dont run across deals like that everyday. Rlaarlo's websites says 2-3 weeks delivery time on average. Nickpool lives in Europe so it might not even take that long for him.
Just my