Did the same when I arrived in May. Went to the
ICR office, paid and walked straight to the bath, no issues. Please be aware that the basic turkish bath costs £5 with ICR but when you arrive at the baths you are given the hard sell with other treatments which will totally eclipse the basic price.
You obviously do not have to buy the extra treatments but be prepared for this.
Overall it was a fantastic experience.