How do I understand the pricing of a Texas municipal bond listed at, say, 102, given the possible state tax benefits from municipal bonds? Does that imply paying $1020 for a $1000 face value, and what elements affect this pricing?