Does anyone know if the TRC on the GS Mini is the same size as say a 414? I have a cover on order with Bill Nichols that I was going to put on my 414 but if all goes well, I will be picking up a new GS Mini tomorrow for my wife and the TRC would be great for her. If not I will order another one for her that will work. I know the Mini has a plastic cover but I am not sure about its size. Thanks.