Hi,
no I don’t think there is a way to change the hostname from ROCK. The issue has been raised before with no resolution since. You can however browse by IP address as these will be different. Suggest that if they are both on DHCP (IP addresses will change regularly) that you give the core ROCK a fixed IP address (reserve it in your router config ideally).