I suspect if you ran 1000 or more iterations, the mostly likely number of spades held by West would be three. West wouldn't bid 4S after a double with only three spades. The total number of spades would be higher than diamonds or clubs. Also only spades can be bid on the four level. I think 4S would fare better than double.