Is there anything different besides a shorter dust cover on the front of the lower? It seems like Glock is making the 47.5 the de-facto replacement for the 17.5 MOS, which they aren’t producing anymore.