윈도우7 64비트 복구CD는 없나요?

S525 KE5BK 사용중입니다
SSD로 교체하고 기존의 하드는 외장으로 쓰려고 하는데
소모품샵에는 64비트 윈도우 7 복구 CD가 없네요..
그러면 64비트는 아예 존재가 하지 않으므로 따로 깔아야 하나요?
이 경우 서비스 센터 가서 돈 주고 설치 해야하는 방법밖에 없는지 궁금합니다..