Yes that's more or less it
On first trick I think one would do well to drop the K under the A, although it turns out not to be necessary on your line of play.
I chose to run a diamond to the Ace first, figuring that diamonds will run 90% and reveal more about opponent's hands than the clubs would.
Of course West showed out and I didn't have the presence of mind to cross to dummy with hearts and run the clubs instead
As it turned out, East did have the
♠K and would have been squeezed into conceding 13 tricks.
Despite many famous names, not one of 50 tables found the overtrick even by accident, with most in 6
♦ making or 6NT making on a spades lead.