Tricky BGP into IGP Question