That sounds pretty close, depending on if your airbox lid is on or not and what kind of filter your using. If the lid is on, you might be a tad rich on the main at your elevation. If it's off, you'll be real close, and good baseline to start at.
I don't remember what the stock setting for the needle is, but I would have it in the 3rd clip down at very minimum, maybe even 4th, though that might be a tad rich at your elevation. Only one way to find out, and they are simple to adjust.