Then I think I disaggree with wests 5♦ bid. With opponents bidding to 4♠, he can count you are void in spades, or in a rare case you have one. So he should bid 4NT, with at most one spades loser and maybe another loser. Especially when you agreed to play Roman Keycards. If he didn't like 4NT, another option was 5♠ (if this is agreed to "make a choice between 6♦ and 6♥") or even 5♥, inviting you to slam if you are short enough in the spades. In this case you are, and bid 6♦ (of even 7♦ if you trust him to have no losers outside ♦K and spades) to give partner the option to end in diamonds rather than in hearts.