It seems to be working! It hadn't occurred to me but the problem was likely that the address hadn't propagated to the nameservers yet. All is ok now. Just have to go through the docs to figure out how to do a db dump from prod and import that into dev - doing so would give me identical setups, would it not?
