I'm native Korean and everything sounds okay. 너무 고맙습니다 or 진짜 고맙습니다 might be grammatically wrong, but I have definitely used them in daily conversation. 정말 고맙습니다 would be the most correct and formal without a doubt.