I finally weighed both of my tops today. The hard top is heavier, as I'd expected (I believe I've seen a post in another thread indicate the opposite like quoted below), but obviously both are light.
Hard top: 22 pounds
Soft top: 12 pounds
[soft top included support slats, but not bag, since I never keep the bag in the car and none of this adds significant weight]
[Note: my hard top is a clear coat one. I assume that there might be some significant difference in the production process, but wouldn't think that there would be a significant weight difference from a non-clear-coat one. Someone should weigh a non-clear-coat one and post here if it is significantly different.]