I think it just makes sense to make it smaller rather than bigger. You can always drill it, but plugging it starts to get messy. Sure it is more involved than that, but that's what I would have done.I wonder why the REO maker chose 1.2mm for the stock hole?
As opposed to say 1.5mm for example?