Record RBI dividends: A boon for the Govt, but at what cost?