Announcement just out that STX is selling its WGO shares to HPL for 36c/share. This will push HPL's WGO shares to close to 80%. What do you do now as a WGO holder?