The ASR1001 bundles have this little proviso that says "if you buy the 2.5G bundle, you cannot upgrade to the 5G license". this seems silly on the face of it. Has anyone done this in practice?