Yes, the support contact will need to take note when logging into the My Support portal to use the appropriate credentials/PIN, as FedRamp credentials/PIN will be different from non-FedRamp credentials/PIN.