Or it could be an L42A1 and he didn't see the markings on the side of the receiver. You never know. Let's hope he posts some pictures to narrow it down quickly.