Are Provisioned IOPS a hard limit? Could IO spikes exceed the number of provisioned IOPS?
I couldn't easily find a definitive answer on the question. While I pretty much assume that it's enforced as a hard limit the documentation isn't very conclusive.