שלום, האם מותר היה להתרחץ בראש השנה ממים מדוד שמש?

מותר להתרחץ במים של דוד שמש ביום טוב לדעת השו"ע. אך לדעת הרמ"א ביום טוב יש איסור שלא להתרחץ כול הגוף בחמין, אך מותר במקום צער.