Update: the money has now appeared in my wallet (Electrum) and it took 2 hours and 10 minutes. When I logged into Coinbase it still says Pending, but they sent me an email saying the transaction was successful so I guess it takes them a while to update their database. I'm mainly posting my thoughts for the benefit of others who find this post in the future.

This seems like it is going to be a very helpful forum!