Dornoch Castle is actually now a restaurant.