Yup - that's right. My RP38 is 11546, somewhat later than yours...
(If you don't already know about it, there's a dedicated Hacker group here:
http://groups.yahoo.com/group/hackerradiogroup/ - it's a useful compliment to this site, and full of useful resources. You'll find a database of Hacker serial numbers, and you might like to add your set to this...)
Cheers,
Mark
