Pulling to 3s seems suboptimal to me. Can x of 3c be better defined so west doesn't do something silly? 3s should probably also be defined as exactly 4 spades and forcing (failure to bid 3s or unu vs. unusual 3h before), so that the bots can play 3nt which has considerably more play than 3s not to mention the game bonus.
Although, 3s down 4 undoubled turned out better than 2s-x making overtricks as was achieved at my table.