Double Bonheur is a restaurant.