Now that things are starting to trickle back in, we have been looking for extra magazines for the wife's GSG5. All we have seen are the magazines for the HK version made by Umarex. Does anyone know if the HK/Umarex mags will work in the GSG5?